@Book{Lam92,
author = {Lamport, L.},
title = {LaTeX system przygotowywania dokumentów},
publisher = {Wydawnictwo Ariel},
year = {1992},
address = {Kraków},

langid = {polish},
}

@Book{Dil00,
author = {Diller, A.},
title = {LaTeX wiersz po wierszu},
publisher = {Wydawnictwo Helion},
year = {2000},
address = {Gliwice},

langid = {polish},
}


@Manual{ARM06,
title = {Ada Reference Manual {ISO}/{IEC} 8652:200y({E}) {E}d. 3},
organization = {Ada Europe},
year = {2006}
}

@Article{BuDo03,
author = {Burns, A. and Dobbing, B.},
title = {The {R}avenscar {P}rofile for Real--Time and High Integrity Systems},
journal = {Cross{T}alk},
year = {2003},
volume = {16},
number = {11},
pages = {9--12}
}



@InProceedings{PeDa04,
author = {Peleska, J. and Große, D. and Haxthausen, A. E. and Drechsler, R.},
title = {Automated Verification for Train Control Systems},
booktitle = {Proc. of the 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004)},
year = {2004},
pages = {252--265},
address = {Braunschweig, Germany},
month = {December}
}

@TechReport{BuDoVa03,
author = {Burns, A. and Dobbing, B. and Vardanega, T.},
title = {Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems},
institution = {University of York},
year = {2003},
number = {YCS-2003-348}
}



@manual{Alvis2011,
	organization = {AGH University of Science and Technology},
	year = {2011},
	title = {{On Line Alvis Manual}},
	note = {\\\texttt{http://fm.ia.agh.edu.pl/alvis:manual}},
	author = {Szpyrka, M.},

	langid = {english},
}

@Article{b1,
author = {Sabine, W.C.},
title = {Collected Papers on Acoustics},
journal = {Harvard University Press},
year = {1922},
}


@Article{b2,
author = {Cremer, L.},
title = {Geometrische Raumakustik},
journal = {Die Wissenschaftlichen Grundlagen der Raumakusitk},
publisher = {S. Hirzel Verlag Stuttgart},
year = {1948},
}

@Article{b3,
author = {Appel, A.},
title = {Some techniques for shading machine renderings of solids},
organization = {AFIPS},
journal = {Spring Joint Computer Conference},
year = {1968},
}

@Article{b4,
author = {Krokstad, S. and Storm, S. and Sorsdal S.},
title = {Calculating the acoustical room response by the use of a ray tracing technique},
organization = {},
journal = {Journal of Sound and Vibration},
year = {1968},
volume = {8},
pages = {118--125}
}

@Book{b5,
author = {Straszewicz, W.},
title = {Analiza geometryczna właściwości pola akustycznego w obszarach ograniczonych},
publisher = {WPW},
year = {1974},
address = {Warszawa},

langid = {polish},
}

@Article{b6,
author = {Allen, J. and Berkley, D.},
title = {Image method for efficiently simulating small-room acoustics},
organization = {},
journal = {Journal of Society of America},
year = {1979},
volume = {65},
pages = {943--950}
}

@manual{b7,
	organization = {CATT-Acoustic},
	year = {2017},
	title = {{Introduction}},
	note = {\\\texttt{http://catt.se}},
	author = {},

	langid = {english},
}

@manual{b8,
	organization = {Odeon},
	year = {2018},
	title = {{ODEON Room Acoustics Software}},
	note = {\\\texttt{https://odeon.dk/download/Version15/OdeonManual.pdf}},
	author = {},

	langid = {english},
}

@Article{b9,
author = {Fu, Z. -h. and Li, J. -w.},
title = {GPU-based image method for room impulse response calculation},
organization = {},
journal = {Multimedia Tools and Applications},
year = {2016},
pages = {1--17}
}


@manual{b10,
	organization = {Wayverb},
	year = {2016},
	title = {{Wayverb manual}},
	note = {\\\texttt{https://reuk.github.io/wayverb/introduction.html}},
	author = {Reuben, T.},

	langid = {english},
}

@Book{b13,
author = {Dalenback, B. -I. and Svensson, P. and Kleiner, M.},
title = {Prediction and Auralization Based on a Combined Image Source/Ray-Tracing Model},
publisher = {Proc. 14th ICA},
year = {1992}
}

@Article{b11,
author = {Naylor G. M.},
title = {ODEON - Another Hybrid Room Acoustical Model},
organization = {},
journal = {Applied Acoustics},
year = {1993},
volume = {38},
pages = {131--143}
}

@Article{b12,
author = {van Maercke, D.},
title = {Simulation of sound fields in time and frequency domain using a geometrical model},
organization = {},
journal = {Proc 12th ICA},
year = {1993},
volume = {38},
pages = {131--143}
}

@Article{b14,
author = {Vorlander, M.},
title = {Simulation of the transient and steady-state sound propagation in room using a new combined ray-tracing/image-source algorithm},
organization = {},
journal = {Journal of Society of America},
year = {1989},
}

@Book{b16,
author = {von Neuman, J.},
title = {The First Draft Report on the EDVAC},
year = {1945}
}

@Article{b17,
author = {Dr. Dobb's Journal},
title = {386 vs. 030: the Crowded Fast Lane},
journal = {UBM},
year = {1988}
}

@Book{b18,
author = {Randi, R. J.},
title = {OpenGL Shading Language},
publisher = {Addison-Wesley Professional},
year = {2004}
}

@Book{b20,
author = {Gottlieb, A. and Almasi, G. S.},
title = {Highly parallel computing},
publisher = {Benjamin/Cummings},
year = {1989}
}

@Book{b23,
author = {Lerner, J. and Schankerman, M.},
title = {The Comingled Code: Open Source and Economic Development},
publisher = {MIT Press},
year = {2010}
}

@manual{b22,
	organization = {Intel},
	year = {2018},
	title = {{OpenCL™ Runtimes for Intel® Processors}},
	note = {\\\texttt{https://software.intel.com/en-us/articles/opencl-drivers}},
	author = {Michael, C.},

	langid = {english},
}

@manual{b31,
	organization = {Microsoft},
	year = {2015},
	title = {{Direct3D 11.3 Functional Specification}},
	note = {\\\texttt{https://microsoft.github.io/DirectX-Specs/}},
	author = {},
	langid = {english},
}

@manual{b21,
	organization = {Khronos OpenCL Working Group},
	year = {2011},
	title = {{The OpenCL Specification}},
	note = {\\\texttt{https://www.khronos.org/registry/OpenCL/specs/opencl-1.1.pdf}},
	author = {Munshi, A.},

	langid = {english},
}

@manual{b30,
	organization = {Xcelerit},
	year = {2018},
	title = {{Xcelerit SDK}},
	note = {\\\texttt{https://www.xcelerit.com/products/xcelerit-sdk}},
	author = {},
	langid = {english},
}

@Book{b34,
author = {Miller, A. and Gregory, K.},
title = {C++ Amp: Accelerated Massive Parallelism With Microsoft Visual C++ - Microsoft},
publisher = {Microsoft},
year = {2012}
}

@Article{b35,
author = {Jianbin, F. and Varbanescu, A. L. and Sips, H.},
title = {A comprehensive performance comparison of CUDA and OpenCL.},
organization = {},
journal = {International Conference on. IEEE},
year = {2011},
}

@manual{b32,
	organization = {QuantAlea},
	year = {2018},
	title = {{Introduction to Alea GPU}},
	note = {\\\texttt{http://www.aleagpu.com/release/3\_0\_2/doc}},
	author = {},
	langid = {english},
}

@manual{b33,
	organization = {AMD},
	year = {2006},
	title = {{ATI CTM Guide}},
	note = {\\\texttt{http://roland.pri.ee/doktor/papers/gpgpu/ATI\_CTM\_Guide.pdf}},
	author = {},
	langid = {english},
}
